clause de horn meaning in English
compulogger/sandbox
horn clause
Examples
- A clause is called a Horn clause if it contains at most one positive literal.
Une clause définie est une clause de Horn contenant exactement un littéral positif.
compulogger/sandbox
horn clause